Inductive programming - PDFSEARCH.IO - Document Search Engine

Inductive programming
Results: 80

#	Item
71	P e t e r F l a c h Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2008-02-27 05:32:06 Peter Flach Data collection Data mining Logic programming Computational learning theory Inductive logic programming International Conference on Machine Learning Relational data mining Artificial intelligence Machine learning Statistics
72	P e t e r F l a c h Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2008-01-31 15:30:16 Science Peter Flach Inductive logic programming International Conference on Machine Learning Inductive inference Logic programming Computational learning theory ECML PKDD Rule induction Artificial intelligence Machine learning Statistics
73	Exploiting Description Logic Reasoners in Inductive Logic Programming Systems: An Experience within the Semantic Web area Francesca A. Lisi Dipartimento di Informatica, Universit` a degli Studi di Bari, Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Science Ontology Knowledge representation Reasoning Information science Datalog Description logic Web Ontology Language Semantic reasoner Semantic Web Information Computing
74	Inductive-inductive Definitions Fredrik Nordvall Forsberg⋆ and Anton Setzer⋆ Swansea University {csfnf, a.g.setzer}@swansea.ac.uk Abstract. We present a principle for introducing new types in type Add to Reading List Source URL: www.cs.swan.ac.uk Language: English - Date: 2010-09-29 18:22:59 Deduction Binary operations Entailment Logical consequence Metalogic Mathematical induction Function Generic programming Inductive reasoning Logic Mathematics Proof theory
75	Dependently Typed Functional Programs and their Proofs Add to Reading List Source URL: strictlypositive.org Language: English - Date: 2007-10-10 18:00:00 Type theory Mathematical logic Dependently typed programming Data types Functional languages Unification Functional programming Inductive data type Monad Software engineering Computer programming Computing
76	Transporting Functions across Ornaments Technical Report Add to Reading List Source URL: arxiv.org Language: English - Date: 2012-03-13 22:34:14 Data types Type theory Dependently typed programming Functional programming Functional languages Inductive data type C++ classes Generic programming Generalized algebraic data type Software engineering Computing Computer programming
77	Dependently Typed Functional Programs and their Proofs Add to Reading List Source URL: www.lfcs.inf.ed.ac.uk Language: English - Date: 2000-09-13 12:40:18 Type theory Data types Mathematical logic Dependently typed programming Functional languages Unification Functional programming Inductive data type Monad Software engineering Computer programming Computing
78	Calculus of Inductive Constructions Software Formal Verification Maria Jo˜ao Frade Add to Reading List Source URL: www3.di.uminho.pt Language: English - Date: 2009-06-24 07:52:22 Logic Programming language theory Calculus of constructions Entailment Typed lambda calculus Lambda cube Simply typed lambda calculus Type constructor Pure type system Type theory Lambda calculus Theoretical computer science
79	PDF Document Add to Reading List Source URL: www.cs.swan.ac.uk Language: English - Date: 2013-06-27 19:09:09 Computer programming Programming idioms Theoretical computer science Inductive reasoning Mathematical proofs Recursion Recursive definition Mathematical induction Intuitionistic type theory Mathematics Logic Mathematical logic
80	PDF Document Add to Reading List Source URL: www4.comp.polyu.edu.hk Language: English - Date: 2002-01-21 00:47:30 Cognition Inductive reasoning Expert systems Decision theory Case-based reasoning Reasoning system Problem solving Inference engine Logic programming Reasoning Science Artificial intelligence